Философская энциклопедия - умозаключение
Связанные словари
Умозаключение
Дедуктивные У, в свою очередь, подразделяются на непосредственные У. (содержащие одну посылку) и опосредованные У. (содержащие две или более посылки). Последние различаются характером участвующих в У. суждений и особенностями логических связей между посылками. Среди опосредованных дедуктивных У. широко известны простой категорический силлогизм и производные от него У: энтимема, полисиллогизм, сорит и эпихейрема. К опосредованным относятся также дедуктивные У, чьи посылки условные (гипотетические) или дизъюнктивные (альтернативные) суждения.
Условные У, или гипотетические силлогизмы, разделены на две группы.
1. Чисто условный силлогизм, где все посылки условные суждения.
Его самая распространенная структура (для двух посылок) следующая: Если А, то В.
Если В, то С.
Следовательно, если А, то С. Например: "Если ударить в главный колокол, то его звук будут слышать даже жители окраин. Если звук главного колокола будут слышать даже жители окраин, то на площади соберется большое количество горожан. Следовательно, если ударить в главный колокол, то на площади соберется большое количество горожан".
Формула, обосновывающая это У. в логике высказываний: (((А -> В) л (В -> С)) -> (А -> С)). Чисто условный силлогизм может также иметь следующую, близкую к конструктивной дилемме (см. ниже), структуру: Если А, то В. Если не-А, то В. Следовательно, В. Например: "Если наша душа погибает вместе с телом, то в таком случае, не обладая чувствами, мы не будем страдать после смерти; если же душа переживает тело, то она должна быть более счастлива, чем когда она была в теле. Следовательно, смерти бояться не надо".
Формула: (((А -> В) л ((-А) ->В)) -" В). 2. Условно-категорический силлогизм, где одна посылка условное суждение, а другая простое категорическое суждение. Здесь имеется два структурных варианта, традиционно называемых модусами (от лат. modus способ).
Modus ponens (утверждающий модус): Если А, то В.
А: Следовательно, В.
Например: "Если бухта замерзла, то корабли проходят мимо. Бухта замерзла. Следовательно, корабли проходят мимо".
Формула: (((А -" В) л А) -> В).
Modus tollens (отрицающий модус): Если А, то В.
не-В.
Следовательно, не-А.
Например: "Если бухта замерзла, то корабли проходят мимо. Корабли не проходят мимо. Следовательно, бухта не замерзла".
Формула: (((А -> В) л (-,?)) ->(-??)).
Т. о., в условно-категорическом силлогизме истинное заключение может быть получено из истинных посылок с необходимостью, если утверждение следствия выведено из утверждения основания или если отрицание основания выведено из отрицания следствия. Однако утверждение следствия не обусловливает утверждение основания, а отрицание основания не обусловливает отрицания следствия.
В альтернативных У. одна или несколько посылок дизъюнктивные суждения. Они делятся на две группы.
1. Чисто альтернативный силлогизм, где все посылки дизъюнктивные суждения.
Структура: А есть В, или С.
В есть В1, или В2.
А есть В1, или В2, или С.
Например: "Все кислоты являются или органическими или неорганическими. Неорганическая кислота или содержит кислород, или нет. Следовательно, любая кислота является или органической, или содержащей кислород, или не содержащей кислород".
Чисто альтернативный силлогизм требует анализа субъективно-предикатной структуры суждений и не имеет адекватной формулы в логике высказываний.
2. Альтернативно-категорический силлогизм, где одна посылка дизъюнктивное суждение, а другая простое категорическое суждение. Это У. имеет два модуса.
Modus ponendo tollens (утвердительно-отрицающий модус), где используется только связка "либо..., либо" в смысле строгой (разделительной, исключающей) дизъюнкции: Либо А, либо В.
А.
Следовательно, не-В.
Например: "Слон может быть либо индийским, либо африканским. Этот слон индийский. Следовательно, он не африканский".
Формула: (((А В) л А) -> (-.В)).
Modus tollendo ponens (отрицательно-утверждающий модус), где может использоваться связка "или" в смысле нестрогой (соединительной) дизъюнкции: А или В.
не-А.
Следовательно, В.
Например: "Этот человек сегодня отдыхал или работал в саду. Он сегодня не отдыхал. Следовательно, он сегодня работал в саду".
Формула: (((? ? В) л ЪА)) -> В).
Здесь дизъюнктивная посылка должна предусматривать все возможные альтернативы, т. е. должно соблюдаться правило исключения в делении.
Существует и совмещение структур гипотетического и разделительного У, которое называется дилеммой. Выделяют две группы дилеммы.
Конструктивная дилемма имеет следующую структуру: Если А, то В.
Если С. то D.
Либо А, либо С.
Следовательно, либо В, либо D.
Классическим примером является дилемма, перед которой поставил библиотекарей александрийской библиотеки калиф Омар: "Если ваши книги согласны с Кораном, то они излишни. Если они расходятся с ним, то они вредны. Но они должны быть либо согласны, либо расходиться с Кораном. Следовательно, они либо излишни, либо вредны".
Формула: (((А -> В) л (С -> D) л (А С)) -> (В -> ?)).
Деструктивная дилемма имеет следующую структуру: Если А, то либо В, либо С.
не-В.не-С.
Следовательно, не-А.
Классическим примером является дилемма Зенона, предназначенная для доказательства невозможности движения: "Если тело находится в движении, то оно должно двигаться либо там, где оно есть, либо там, где его нет. Но тело не может двигаться ни там, где оно есть, ни там, где его нет. Следовательно, оно вообще не может двигаться".
Формула: (((А -> (В С)) л (-В) л (-, С)) -К
См. в других словарях
Вопрос-ответ:
Самые популярные термины
1 | 4618 | |
2 | 2364 | |
3 | 2261 | |
4 | 2209 | |
5 | 2181 | |
6 | 1752 | |
7 | 1693 | |
8 | 1679 | |
9 | 1652 | |
10 | 1524 | |
11 | 1508 | |
12 | 1439 | |
13 | 1350 | |
14 | 1246 | |
15 | 1154 | |
16 | 1107 | |
17 | 1010 | |
18 | 1004 | |
19 | 998 | |
20 | 954 |